The Pythagoras number and the $u$-invariant of Laurent series fields in several variables

摘要

We show that every sum of squares in the three-variable Laurent series field$\mathbb{R}((x,y,z))$ is a sum of 4 squares, as was conjectured in a paper ofChoi, Dai, Lam and Reznick in the 1980's. We obtain this result by proving thatevery sum of squares in a finite extension of $\mathbb{R}((x,y))$ is a sum of$3$ squares. It was already shown in Choi, Dai, Lam and Reznick's paper thatevery sum of squares in $\mathbb{R}((x,y))$ itself is a sum of two squares. Wegive a generalization of this result where $\mathbb{R}$ is replaced by anarbitrary real field. Our methods yield similar results about the $u$-invariantof fields of the same type.